منابع مشابه
Quantified Vehicles
Three trends have shown significant impact in recent years: (1) The Internet of Things (Wortmann and Flüchter 2015) has become an enabler for a connected world full of smart objects equipped with sensors and supplies enormous and still rising amounts of (2) Big Data (Schönberger and Cukier 2013), which can be analyzed and then turned into business value in various areas, including (3) the Quant...
متن کاملStereo-Vision-Support for Intelligent Vehicles - The Need for Quantified Evidence
Vision-based driver assistance in modern cars has to perform automated real-time understanding or modeling of traffic environments based on multiple sensor inputs, using ‘normal’ or specialized (such as night vision) stereo cameras as default input devices. Distance measurement, lane-departure warning, traffic sign recognition, or trajectory calculation are examples of current developments in t...
متن کاملEncoding Quantified CSPs as Quantified Boolean Formulae
Quantified Constraint Satisfaction Problems (QCSPs) are CSPs in which some variables are universally quantified. For each possible value of such variables, we have to find ways to set the remaining, existentially quantified, variables so that the constraints are all satisfied. Interest in this topic is increasing following recent advances in Quantified Boolean Formulae (QBFs), the analogous gen...
متن کاملConnected Car: Quantified Self becomes Quantified Car
The automotive industry could be facing a situation of profound change and opportunity in the coming decades. There are a number of influencing factors such as increasing urban and aging populations, self-driving cars, 3D parts printing, energy innovation, and new models of transportation service delivery (Zipcar, Uber). The connected car means that vehicles are now part of the connected world,...
متن کاملQuantified LP
An extension, QLP, of the propositional logic of explicit proofs, LP, is created, allowing quantification over proofs. The resulting logic is given an axiomatization, a Kripke-style semantics, and soundness and completeness are shown. It is shown that S4 embeds into the logic, when we translate the necessity operator using a quantifier: there exists an explicit proof. And it is shown that the p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Business & Information Systems Engineering
سال: 2017
ISSN: 2363-7005,1867-0202
DOI: 10.1007/s12599-017-0465-5